Wei-Ngan Chin,: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3302 || A MATLAB-Based Code Generator for Sparse Matrix Computations

Year:

2004

Language:

english

File:

PDF, 429 KB

english, 2004

2

A higher-order removal method

Wei-Ngan Chin, John Darlington

Journal:

Higher-Order and Symbolic Computation

Year:

1996

Language:

english

File:

PDF, 2.29 MB

english, 1996

3

[ACM Press Companion to the 21st ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - Core-java

Craciun, Florin, Goh, Hong Yaw, Popeea, Corneliu, Chin, Wei-Ngan

Year:

2006

Language:

english

File:

PDF, 90 KB

english, 2006

4

Optimizing the parallel computation of linear recurrences using compact matrix representations

Adrian Nistor, Wei-Ngan Chin, Tiow-Seng Tan, Nicolae Tapus

Journal:

Journal of Parallel and Distributed Computing

Year:

2009

Language:

english

File:

PDF, 2.52 MB

english, 2009

5

Calculating Sized Types

Wei-Ngan Chin, Siau-Cheng Khoo

Journal:

Higher-Order and Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 226 KB

english, 2001

6

Editorial

Wei-Ngan Chin, Olivier Danvy, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 25 KB

english, 2004

7

Automated verification of the FreeRTOS scheduler inHip/Sleek

Ferreira, João F., Gherghina, Cristian, He, Guanhua, Qin, Shengchao, Chin, Wei-Ngan

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 1.80 MB

english, 2014

8

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3302 || A Relational Model for Object-Oriented Designs

Year:

2004

Language:

english

File:

PDF, 297 KB

english, 2004

9

Safe fusion of functional expressions II: Further improvements

Journal:

Journal of Functional Programming

Year:

1994

Language:

english

File:

PDF, 2.26 MB

english, 1994

10

Charting patterns on price history

Anand, Saswat, Chin, Wei-Ngan, Khoo, Siau-Cheng

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 292 KB

english, 2001

11

Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion

Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 230 KB

english, 2010

12

Solving a class of higher-order equations over a group structure

Ştefan Andrei, Wei-Ngan Chin

Journal:

Journal of Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 393 KB

english, 2004

13

Verifying pointer safety for programs with unknown calls

Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 514 KB

english, 2010

14

A new algorithm for regularizing one-letter context-free grammars

Ştefan Andrei, Salvador Valerio Cavadini, Wei-Ngan Chin

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 249 KB

english, 2003

15

A rigorous methodology for specification and verification of business processes

Cristian Masalagiu, Wei-Ngan Chin, Ştefan Andrei, Vasile Alaiba

Journal:

Formal Aspects of Computing

Year:

2009

Language:

english

File:

PDF, 494 KB

english, 2009

16

Self-embedded context-free grammars with regular counterparts

Stefan Andrei, Wei-Ngan Chin, SalvadorValerio Cavadini

Journal:

Acta Informatica

Year:

2004

Language:

english

File:

PDF, 191 KB

english, 2004

17

From Statecharts to Verilog: a formal approach to hardware/software co-specification

Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu

Journal:

Innovations in Systems and Software Engineering

Year:

2006

Language:

english

File:

PDF, 509 KB

english, 2006

18

Automated verification of shape, size and bag properties via user-defined predicates in separation logic

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 455 KB

english, 2012

19

An efficient distributed deadlock avoidance algorithm for the AND model

Hui Wu, Wei-Ngan Chin, Jaffar, J.

Journal:

IEEE Transactions on Software Engineering

Year:

2002

Language:

english

File:

PDF, 234 KB

english, 2002

20

Loop invariant synthesis in a combined abstract domain

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen

Journal:

Journal of Symbolic Computation

Year:

2013

Language:

english

File:

PDF, 386 KB

english, 2013

21

A transformation method for dynamic-sized tabulation

Wei-Ngan Chin, Masami Hagiya

Journal:

Acta Informatica

Year:

1995

Language:

english

File:

PDF, 1.26 MB

english, 1995

22

Automatically refining partial specifications for heap-manipulating programs

Qin, Shengchao, He, Guanhua, Luo, Chenguang, Chin, Wei-Ngan, Yang, Hongli

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 529 KB

english, 2014

23

Dual analysis for proving safety and finding bugs

Popeea, Corneliu, Chin, Wei-Ngan

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 386 KB

english, 2013

24

Expressive program verification via structured specifications

Gherghina, Cristian, David, Cristina, Qin, Shengchao, Chin, Wei-Ngan

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 1.20 MB

english, 2014

25

[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Stack Bound Inference for Abstract Java Bytecode

Wang, Shengyi, Qiu, Zongyan, Qin, Shengchao, Chin, Wei-Ngan

Year:

2010

Language:

english

File:

PDF, 267 KB

english, 2010

26

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - From Verification to Specification Inference

Chin, Wei-Ngan, David, Cristina

Year:

2012

Language:

english

File:

PDF, 195 KB

english, 2012

27

[IEEE 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - timisoara, Romania (2006.09.26-2006.09.29)] 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Incremental Deterministic Planning

Andrei, Stefan, Chin, Wei-ngan, Rinard, Martin

Year:

2006

Language:

english

File:

PDF, 261 KB

english, 2006

28

[IEEE 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05) - Hong Kong, China (17-19 Aug. 2005)] 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05) - Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits

Andrei, S., Wei-Ngan Chin,, Cheng, A.M.K., Yongxin Zhu,

Year:

2005

Language:

english

File:

PDF, 118 KB

english, 2005

29

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets

Pham, Tuan-Hung, Truong, Anh-Hoang, Truong, Ninh-Thuan, Chin, Wei-Ngan

Year:

2008

Language:

english

File:

PDF, 402 KB

english, 2008

30

[IEEE Comput. Soc 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002) - Washington, DC, USA (4-6 Nov. 2002)] 14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings. - A lazy divide and conquer approach to constraint solving

Anand, S., Wei-Ngan Chin,, Siau-Cheng Khoo,

Year:

2002

Language:

english

File:

PDF, 269 KB

english, 2002

31

[IEEE 11th IEEE Real Time and Embedded Technology and Applications Symposium - San Francisco, CA, USA (07-10 March 2005)] 11th IEEE Real Time and Embedded Technology and Applications Symposium - Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting

Andrei, S., Cheng, A.M.K., Wei-Ngan Chin,, Lupu, M.

Year:

2005

Language:

english

File:

PDF, 236 KB

english, 2005

32

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Completeness of Pointer Program Verification by Separation Logic

Tatsuta, Makoto, Chin, Wei-Ngan, Ameen, Mahmudul Faisal Al

Year:

2009

Language:

english

File:

PDF, 323 KB

english, 2009

33

[IEEE Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004. - Toronto, Canada (25-28 May 2004)] Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004. - Incremental satisfiability counting for real-time systems

Andrei, S., Wei-Ngan Chin,

Year:

2004

Language:

english

File:

PDF, 374 KB

english, 2004

34

[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Multiple Pre/Post Specifications for Heap-Manipulating Methods

Chin, Wei-Ngan, David, Cristina, Nguyen, Huu Hai, Qin, Shengchao

Year:

2007

Language:

english

File:

PDF, 579 KB

english, 2007

35

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3302 ||

Year:

2004

Language:

english

File:

PDF, 5.36 MB

english, 2004

36

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Automated Verification of Shape, Size and Bag Properties

Chin, Wei-Ngan, David, Cristina, Nguyen, Huu Hai, Qin, Shengchao

Year:

2007

Language:

english

File:

PDF, 277 KB

english, 2007

37

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 6252 || COMBINE: A Tool on Combined Formal Methods for Bindingly Verification

Bouajjani, Ahmed, Chin, Wei-Ngan

Year:

2010

Language:

english

File:

PDF, 94 KB

english, 2010

38

[ACM Press the 2004 ACM SIGPLAN symposium - Verona, Italy (2004.08.24-2004.08.25)] Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '04 - A type system for resource protocol verification and its correctness proof

Popeea, Corneliu, Chin, Wei-Ngan

Year:

2004

Language:

english

File:

PDF, 243 KB

english, 2004

39

[ACM Press the 27th international conference - St. Louis, MO, USA (2005.05.15-2005.05.21)] Proceedings of the 27th international conference on Software engineering - ICSE '05 - Verifying safety policies with size properties and alias controls

Chin, Wei-Ngan, Khoo, Siau-Cheng, Qin, Shengchao, Popeea, Corneliu, Nguyen, Huu Hai

Year:

2005

Language:

english

File:

PDF, 261 KB

english, 2005

40

[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - A practical and precise inference and specializer for array bound checks elimination

Popeea, Corneliu, Xu, Dana N., Chin, Wei-Ngan

Year:

2008

Language:

english

File:

PDF, 285 KB

english, 2008

41

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Enhancing modular OO verification with separation logic

Chin, Wei-Ngan, David, Cristina, Nguyen, Huu Hai, Qin, Shengchao

Year:

2008

Language:

english

File:

PDF, 298 KB

english, 2008

42

Enhancing modular OO verification with separation logic

Chin, Wei-Ngan, David, Cristina, Nguyen, Huu Hai, Qin, Shengchao

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 298 KB

english, 2008

43

Region inference for an object-oriented language

Chin, Wei-Ngan, Craciun, Florin, Qin, Shengchao, Rinard, Martin

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 202 KB

english, 2004

44

[ACM Press the 21st annual ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - A flow-based approach for variant parametric types

Chin, Wei-Ngan, Craciun, Florin, Khoo, Siau-Cheng, Popeea, Corneliu

Year:

2006

Language:

english

File:

PDF, 495 KB

english, 2006

45

[ACM Press the second ACM SIGPLAN international conference - Amsterdam, The Netherlands (1997.06.09-1997.06.11)] Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97 - A bounds inference method for vector-based memoization

Chin, Wei-Ngan, Hagiya, Masami

Year:

1997

Language:

english

File:

PDF, 1.04 MB

english, 1997

46

[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - Immutable specifications for more concise and precise verification

David, Cristina, Chin, Wei-Ngan

Year:

2011

Language:

english

File:

PDF, 454 KB

english, 2011

47

[ACM Press the ACM international conference companion - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11 - A HIP and SLEEK verification system

Chin, Wei-Ngan, David, Cristina, Gherghina, Cristian

Year:

2011

Language:

english

File:

PDF, 291 KB

english, 2011

48

[ACM Press the 25th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1998.01.19-1998.01.21)] Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98 - Parallelization in calculational forms

Hu, Zhenjiang, Takeichi, Masato, Chin, Wei-Ngan

Year:

1998

Language:

english

File:

PDF, 1.66 MB

english, 1998

49

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Termination and non-termination specification inference

Le, Ton Chanh, Qin, Shengchao, Chin, Wei-Ngan

Year:

2015

Language:

english

File:

PDF, 487 KB

english, 2015

50

[ACM Press the 2000 ACM SIGPLAN workshop - Boston, Massachusetts, United States (2000.01.22-2000.01.23)] Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 - Calculating sized types

Chin, Wei-Ngan, Khoo, Siau-Cheng

Year:

1999

Language:

english

File:

PDF, 1.90 MB

english, 1999